Harmonic ratcheting for fast acceleration

FAST: Fast Acceleration of Symbolic Transition Systems

FAST: Fast Acceleration of Symbolikc Transition Systems

Fast is a tool for the analysis of large or even infinite systems. This paper describes the underlying theory, the architecture choices that have been made in the tool design. The user must provide a model to analyse, the property to check and a computation policy. Several such policies are proposed as a standard in the package, others can be added by the user. Fast capabilities are compared wi...

Coupled Harmonic Equations , SOR , and Chebyshev Acceleration

A coupled pair of harmonic equations is solved by the application of Chebyshev acceleration to the Jacobi, Gauss-Seidel, and related iterative methods, where the Jacobi iteration matrix has purely imaginary (or zero) eigenvalues. Comparison is made with a block SOR method used to solve the same problem. Introduction. In [4], we proposed a general block SOR method for solving the biharmonic equa...

Finite Element Analysis for Harmonic Oscillator of Acceleration Seismic Geophone

In the oilfield development stage, more recoverable reserves can be found by using the more sophisticated seismic methods with stimulation. Threecomponent seismic exploration technology comes into being, and it is becoming a major oil exploration seismic technology currently. As the sensitive element of seismic geophone, the performance of the harmonic oscillator is vitally important to the ent...

Fast algorithms for spherical harmonic expansions, III

We accelerate the computation of spherical harmonic transforms, using what is known as the butterfly scheme. This provides a convenient alternative to the approach taken in the second paper from this series on “Fast algorithms for spherical harmonic expansions.” The requisite precomputations become manageable when organized as a “depth-first traversal” of the program’s control-flow graph, rathe...